A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery *
نویسنده
چکیده
Modeling epistemic processes in scientific discovery satisfactorily is an indispensable step to automating scientific discovery processes. This paper presents some significant fundamental observations and assumptions on scientific discovery processes and their automation at first. Based on the observations and assumptions, the paper shows why classical mathematical logic, its various classical conservative extensions, and traditional (weak) relevant logics cannot satisfactorily underlie epistemic processes in scientific discovery, and then presents a strong relevant logic model of epistemic processes in scientific discovery. A novel program paradigm, named ‘Epistemic Programming’, based on the strong relevant logic model of epistemic processes is also presented. To attain knowledge, add things every day. To attain wisdom, remove things every day. − Lao Tzu, Tao Te Ching, ch.48, about 600 B.C. Everything should be made as simple as possible, but not simpler. − Albert Einstein
منابع مشابه
A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract)
Modeling epistemic processes in scientific discovery satisfactorily is an indispensable step to automating scientific discovery processes. This paper presents some significant fundamental observations and assumptions on scientific discovery processes and their automation at first. Based on the observations and assumptions, the paper shows why classical mathematical logic, its various classical ...
متن کاملEpistemic Programming Toward a New Programming Paradigm for Scientific Discovery
Any scientific discovery must include an epistemic process to gain knowledge of or to ascertain the existence of some empirical and/or logical entailments previously unknown or unrecognized. This paper proposes a new programming paradigm, named Epistemic Programming, which regards entailments as the subject of computing, takes three primary epistemic operations, i.e., epistemic deduction of kno...
متن کاملEntailment Calculus as the Logical Basis of Automated Theorem Finding in Scientific Discovery
Any scientific discovery must include an epistemic process to gain knowledge of or to ascertain the existence of some empirical and/or logical entailments previously unknown or unrecognized. The epistemic operation of deduction in an epistemic process of an agent is to fred new and valid entailments logically from some premises which are known facts and/or assumed hypothesis. Automated theorem ...
متن کاملParaconsistent Reasoning Based on Strong Relevant Logic
1 This work is supported in part by The Ministry of Education, Culture, Sports, Science and Technology of Japan under Grant-in-Aid for Exploratory Research No. 09878061 and Grant-in-Aid for Scientific Research (B) No. 11480079. Abstract. Both a body of human knowledge and a knowledge/information system may be incomplete and inconsistent in many ways. Reasoning with incomplete and inconsistent k...
متن کاملAn epistemic model of an agent who does not reflect on reasoning processes
This paper introduces an epistemic model of a boundedly rational agent under the two assumptions that (i) the agents reasoning process is in accordance with the model but (ii) the agent does not reect on these reasoning processes. For such a concept of bounded rationality a semantic interpretation by the possible world semantics of the Kripke (1963) type is no longer available because the de ...
متن کامل